Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.comยท3h
๐Ÿ“PEG Parsing
ECMAScript TC39 proposal-pattern-matching
github.comยท3hยท
Discuss: Hacker News
๐ŸŽฏPattern Matching
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.comยท4hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Semantic Dictionary Encoding
falvotech.comยท2hยท
Discuss: Hacker News
๐Ÿ—‚๏ธType Indexing
RustGPT: A pure-Rust transformer LLM built from scratch
dev.toยท4hยท
Discuss: DEV
๐Ÿ—๏ธCranelift
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.orgยท13h
๐Ÿง Semantic Parsing
Algebraic Types are not Scary
blog.aiono.devยท6hยท
โœ…Type Checking
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท19hยท
๐ŸงฉConstraint Solvers
Show HN: Semlib โ€“ Semantic Data Processing
github.comยท3hยท
Discuss: Hacker News
๐Ÿ”ML Language
[D] How to best fine-tune a T5 model for a Seq2Seq extraction task with a very small dataset?
reddit.comยท2hยท
๐Ÿ“ŠParse Tables
Pre-viva Talk - 02/10/2025
informatics.ed.ac.ukยท4h
๐Ÿง Semantic Parsing
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.toยท1hยท
Discuss: DEV
๐ŸŽฏFinite Automata
Analog IMC Attention Mechanism For Fast And Energy-Efficient LLMs (FZJ, RWTH Aachen)
semiengineering.comยท55m
๐Ÿ—บ๏ธRegion Inference
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.comยท1d
๐Ÿ”ML Language
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท1h
๐Ÿ’ซEffect Systems
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.orgยท13h
โš–๏ธInference Rules
How to turn Claude Code into a domain specific coding agent
blog.langchain.comยท1hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท13hยท
๐ŸŒฑMinimal ML
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.comยท2hยท
๐Ÿ”ฎLisp Interpreters
Why Precedence Matters ๐Ÿค“
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Mathematical Computing